tagged{-}messages($l$;$s$;$v$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$x$.$\langle$$l$$,\,$$x$$\rangle$;tagged{-}list{-}messages($s$;$v$;$L$))